\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Case study}{13}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Overview}{13}{section.5.1}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Requirements}{14}{section.5.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}Overview}{14}{subsection.5.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}NVRAM-Manager}{14}{subsection.5.2.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2.1}Acronyms and abbreviations}{14}{subsubsection.5.2.2.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2.2}Requirements traceability}{14}{subsubsection.5.2.2.2}}
\gdef \LT@i {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2.3}Functional requirements}{16}{subsubsection.5.2.2.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.3.1}Configuration}{16}{paragraph.5.2.2.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.3.2}Initialization}{18}{paragraph.5.2.2.3.2}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.3.3}Normal Operation}{18}{paragraph.5.2.2.3.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.3.4}Shutdown Operation}{19}{paragraph.5.2.2.3.4}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.3.5}Fault Operation}{19}{paragraph.5.2.2.3.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.2.4}Non-Functional Requirements}{20}{subsubsection.5.2.2.4}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.4.1}Hardware independence}{20}{paragraph.5.2.2.4.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.2.4.2}Usability}{20}{paragraph.5.2.2.4.2}}
\gdef \LT@ii {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Memory Abstraction Interface}{21}{subsection.5.2.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.3.1}Acronyms and abbreviations}{21}{subsubsection.5.2.3.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.3.2}Requirements traceability}{21}{subsubsection.5.2.3.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.3.3}Functional requirements}{21}{subsubsection.5.2.3.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.3.1}General}{21}{paragraph.5.2.3.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.3.2}Configuration}{21}{paragraph.5.2.3.3.2}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.3.3}Normal Operation}{21}{paragraph.5.2.3.3.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.3.4}Fault Operation}{21}{paragraph.5.2.3.3.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.3.4}Non-Functional Requirements}{22}{subsubsection.5.2.3.4}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.4.1}Timing Requirements}{22}{paragraph.5.2.3.4.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.3.4.2}Resource Usage}{22}{paragraph.5.2.3.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}Memory Abstraction Modules}{23}{subsection.5.2.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.4.1}Acronyms and abbreviations}{23}{subsubsection.5.2.4.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.4.2}Requirements traceability}{23}{subsubsection.5.2.4.2}}
\gdef \LT@iii {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.4.3}Functional requirements}{25}{subsubsection.5.2.4.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.4.3.1}Configuration}{25}{paragraph.5.2.4.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.4.3.2}Normal Operation}{25}{paragraph.5.2.4.3.2}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.4.3.3}Fault Operation}{26}{paragraph.5.2.4.3.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.4.4}Non-Functional Requirements}{27}{subsubsection.5.2.4.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.5}Internal Flash Driver}{28}{subsection.5.2.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.5.1}Acronyms and abbreviations}{28}{subsubsection.5.2.5.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.5.2}Requirements traceability}{28}{subsubsection.5.2.5.2}}
\gdef \LT@iv {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.5.3}Functional requirements}{29}{subsubsection.5.2.5.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.5.3.1}Configuration}{29}{paragraph.5.2.5.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.5.3.2}Normal Operation}{29}{paragraph.5.2.5.3.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.5.4}Non-Functional Requirements}{31}{subsubsection.5.2.5.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.6}External Flash Driver}{32}{subsection.5.2.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.6.1}Acronyms and abbreviations}{32}{subsubsection.5.2.6.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.6.2}Requirements traceability}{32}{subsubsection.5.2.6.2}}
\gdef \LT@v {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.6.3}Functional requirements}{33}{subsubsection.5.2.6.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.6.3.1}General}{33}{paragraph.5.2.6.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.6.3.2}Configuration}{33}{paragraph.5.2.6.3.2}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.6.3.3}Fault Operation}{33}{paragraph.5.2.6.3.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.6.4}Non-Functional Requirements}{33}{subsubsection.5.2.6.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.7}Internal EEPROM Driver}{35}{subsection.5.2.7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.7.1}Acronyms and abbreviations}{35}{subsubsection.5.2.7.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.7.2}Requirements traceability}{35}{subsubsection.5.2.7.2}}
\gdef \LT@vi {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.7.3}Functional requirements}{36}{subsubsection.5.2.7.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.7.3.1}Configuration}{36}{paragraph.5.2.7.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.7.3.2}Normal Operation}{36}{paragraph.5.2.7.3.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.7.4}Non-Functional Requirements}{37}{subsubsection.5.2.7.4}}
\gdef \LT@vii {\LT@entry 
    {1}{68.9055pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{154.26378pt}\LT@entry 
    {1}{68.9055pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.8}External EEPROM Driver}{38}{subsection.5.2.8}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.8.1}Acronyms and abbreviations}{38}{subsubsection.5.2.8.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.8.2}Requirements traceability}{38}{subsubsection.5.2.8.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.8.3}Functional requirements}{39}{subsubsection.5.2.8.3}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.8.3.1}General}{39}{paragraph.5.2.8.3.1}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.8.3.2}Configuration}{39}{paragraph.5.2.8.3.2}}
\@writefile{toc}{\contentsline {paragraph}{\numberline {5.2.8.3.3}Normal Operation}{39}{paragraph.5.2.8.3.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.2.8.4}Non-Functional Requirements}{39}{subsubsection.5.2.8.4}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Modelling with UML}{40}{section.5.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}Primary Software architecture}{40}{subsection.5.3.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.1}Component segmentation and description of interfaces}{40}{subsubsection.5.3.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.2}Hardware/Software mapping}{43}{subsubsection.5.3.1.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.3}Management of persistent data}{43}{subsubsection.5.3.1.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.4}Access rights and access control}{43}{subsubsection.5.3.1.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.5}Global control flow}{43}{subsubsection.5.3.1.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.3.1.6}Reference}{44}{subsubsection.5.3.1.6}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Modelling with SysML}{45}{section.5.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}Software architecture}{45}{subsection.5.4.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.1}Component segmentation and description of interfaces}{45}{subsubsection.5.4.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.2}Hardware/Software mapping}{45}{subsubsection.5.4.1.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.3}Management of persistent data}{45}{subsubsection.5.4.1.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.4}Access rights and access control}{45}{subsubsection.5.4.1.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.5}Global control flow}{45}{subsubsection.5.4.1.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.6}Tools}{45}{subsubsection.5.4.1.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1.7}Reference}{45}{subsubsection.5.4.1.7}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Modelling with UML$\discretionary {-}{}{}$RT}{46}{section.5.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.1}Software architecture}{46}{subsection.5.5.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.1}Component segmentation and description of interfaces}{46}{subsubsection.5.5.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.2}Hardware/Software mapping}{46}{subsubsection.5.5.1.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.3}Management of persistent data}{46}{subsubsection.5.5.1.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.4}Access rights and access control}{46}{subsubsection.5.5.1.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.5}Global control flow}{46}{subsubsection.5.5.1.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.6}Tools}{46}{subsubsection.5.5.1.6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1.7}Reference}{46}{subsubsection.5.5.1.7}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Tools}{47}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}EA}{47}{section.6.1}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}RoseRT}{47}{section.6.2}}
\@setckpt{Case_study}{
\setcounter{page}{48}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{6}
\setcounter{section}{2}
\setcounter{subsection}{0}
\setcounter{subsubsection}{7}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{LT@tables}{7}
\setcounter{LT@chunks}{2}
\setcounter{Item}{0}
\setcounter{Hfootnote}{5}
\setcounter{section@level}{1}
}
